Formal Methods for Stellar DeFi: Verifying Lending Protocol with Certora Sunbeam Prover
blog.positive.com·12h
✅Format Verification
Using panic metadata to recover source code information from Rust binaries | cxiao.net
cxiao.net·10h
🦀Rust Macros
TypeScript Cookbook • Stefan Baumgartner & Peter Kröner
youtube.com·12h
🎯Gradual Typing
Guessing Game: Haskell Style
entropicthoughts.com·1d
👑Dependent Haskell
Formal verification effort for the ABDK Math 64.64 library using echidna/hevm
github.com·1d·
Discuss: Hacker News
✅Format Verification
Go’s unsafe: Unlocking Performance Hacks with a Risk
dev.to·1d·
Discuss: DEV
🔒Type Safety
StrongBox: Simple, Safe Data Encryption for Rust
hezmatt.org·29m
🦀Embedded Rust
Claude Code's 19 cent Parser
blogger.com·1d
🔧Binary Parsers
Capture Checking in Scala
nrinaudo.github.io·1d·
Discuss: Lobsters, Hacker News, r/programming
🧪Binary Fuzzing
Abhinav Sarkar: A Fast Bytecode VM for Arithmetic: The Compiler
abhinavsarkar.net·3d
🔗Functional Compilers
Anonymous structavaganza in zig
lirk.top·1d·
Discuss: Hacker News, r/Zig, r/programming
🔗Concatenative Programming
Type-Hinting DataFrames for Static Analysis and Runtime Validation
medium.com·6h·
Discuss: Hacker News
🧮Algebraic Datatypes
Emulating aarch64 in software using JIT compilation and Rust
pitsidianak.is·16h·
Discuss: Lobsters, Hacker News, Hacker News, r/programming, r/rust
🦾ARM Assembly
On systematic construction of correct logic programs
arxiv.org·20h
⚖️Hoare Logic
Trying to get error backtraces in rust libraries right
iroh.computer·8h·
Discuss: Lobsters, Hacker News, r/rust
🔒Linear Types
Harness AI Tackles Software Development’s Real Bottleneck
thenewstack.io·10h
👁️Observatory Systems
Trust Spanning Protocol (TSP) Specification
trustoverip.github.io·1d·
Discuss: Hacker News
🌳Archive Merkle Trees
Model-based Testing Distributed Systems with P Language (2021)
mydistributed.systems·10h·
Discuss: Lobsters, Hacker News, r/programming
📞Session Types
Claude Code Gets a Second Opinion from GPT-5
proxymock.io·1d·
Discuss: Hacker News
⚡Proof Automation
It takes 26 yottabytes of RAM to typecheck a union of Safe Integers
playfulprogramming.com·2d
🧪Binary Fuzzing